|
数学の集合論における射影(しゃえい、)とは、以下に挙げる二種類の関係する函数あるいは演算のいずれかのことを言う。 * デカルト積 の元 に対して値 を与える ''j''th 射影写像に代表される集合論的演算〔.〕。 * 元 ''x'' を特定の同値関係 ''E'' の下でその同値類に写す函数〔.〕。あるいは同じことであるが、ある集合から別の集合への全射〔.〕。元から同値類への函数は全射であり、すべての全射はそれらが同一の像を持つとき、二つの元が等しいという同値関係に対応する。この写像の結果は ''E'' が既知のときは と表記されるが、特に ''E'' を明らかにする必要があるときは ''E'' と表記される。 == 関連項目 == * デカルト積 * * 射影 * 二項関係 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「射影 (集合論)」の詳細全文を読む スポンサード リンク
|